My aim with this book is to write the book people will buy to understand how to write concurrent programs on the Windows and .NET platforms. This is clearly of increasing importance due to multi-core. This includes a tutorial of the entire set of Windows and .NET APIs required to write concurrent programs. Interspersed among the tutorial are many difficult-to-discover internal ...(展开全部)

My aim with this book is to write the book people will buy to understand how to write concurrent programs on the Windows and .NET platforms. This is clearly of increasing importance due to multi-core. This includes a tutorial of the entire set of Windows and .NET APIs required to write concurrent programs. Interspersed among the tutorial are many difficult-to-discover internal ...(展开全部)

The book focuses on algorithmic principles rather than language syntax with an emphasis on the use of the Spin model checker for modeling concurrent systems and verifying program correctness and includes and explains the implementation of concurrency in the Java and Ada languages. It also helps to facilitate lab work with software tools for learning concurrent and distributed p...(展开全部)

The advent of new architectures and computing platforms mean that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local ...(展开全部)

The Java platform provides a broad and powerful set of APIs, tools, and technologies. One of its most powerful capabilities is the built-in support for threads. This makes concurrent programming an attractive yet challenging option for programmers using the Java programming language. This book shows readers how to use the Java platform's threading model more precisely by helpi...(展开全部)

Selecting the correct concurrency architecture has a significant impact on the design and performance of your applications. This book explains how to leverage the different characteristics of parallel architecture to make your code faster and more efficient. To start with, you'll understand the basic concurrency concepts and explore patterns around explicit locking, lock free programming, futures & actors. Then, you'll get insights into different concurrency models and parallel algorithms and put them to practice in different scenarios to realize your application's true potential. We'll take you through multithreading design patterns, such as master, slave, leader, follower, map-reduce, and monitor, also helping you to learn hands-on coding using these patterns. Once you've grasped all of this, you'll move on to solving problems using synchronizer patterns. You'll discover the rationale for these patterns in distributed & parallel applications, followed by studying how future composition, immutability and the monadic flow help create more robust code. Toward the end of the book, you'll learn about the actor paradigm and actor patterns - the message passing concurrency paradigm.

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

本书作者Kenneth C. Louden是圣何塞州立大学的教授，该大学是美国硅谷第一流的计算机科学教育学校，Kenneth C. Louden还是另一本畅销书“Complier Construction Principles and Practice”的作者。